-
Если, то.
Первая теорема утверждает, что если формальная арифметика непротиворечива, то в ней существует невыводимая и неопровержимая формула.
Вторая теорема утверждает, что если формальная арифметика непротиворечива, то в ней невыводима формула, содержательно утверждающая непротиворечивость этой арифметики.
Понимаете, да? [Понимаете?]
( Read more... ) -
Киногид извращенца (The Pervert's Guide To Cinema) (2006)
You can watch this video on www.livejournal.com
[2012] You can watch this video on www.livejournal.com
